⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

A Resolution-Based Interactive Proof System for UNSAT
arxiv.org·1d
🎯Performance Proofs
Unleashing the Hound: How AI Agents Find Deep Logic Bugs in Any Codebase
muellerberndt.medium.com·14h·
Discuss: Hacker News
🔍Concolic Testing
Program verification is not all-or-nothing
lawrencecpaulson.github.io·18h
🎯Performance Proofs
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·9h
🔗Monadic Parsing
The 100x100 Challenge: Learning Through GitHub Projects
dev.to·34m·
Discuss: DEV
🧬Bitstream Evolution
The (sometimes rocky) road to a paper
lmao.bearblog.dev·1d·
Discuss: Hacker News
🎯Performance Proofs
A polar week
blog.mitrichev.ch·3h·
Discuss: blog.mitrichev.ch
🕸️Graph Algorithms
[$] The dependency tracker for complex deadlock detection
lwn.net·1d
🔍eBPF
getumbrel/umbrel-apps
github.com·16h
🔌Interface Evolution
62 Comprehensive Programming Tutorials: Master AI, Databases, DevOps & More
github.com·11h·
Discuss: Hacker News, r/programming, r/webdev
🤖Archive Automation
How to Ruin Your Weekend: Building a DIY EDR
infosecwriteups.com·12h
🔍eBPF
Tool Masking: The Layer MCP Forgot
towardsdatascience.com·6h
✨Effect Handlers
Writing a C compiler in 500 lines of Python
vgel.me·2d·
Discuss: Hacker News, r/programming
🦀Rust Macros
The Aider Local Model Experience
hexeditreality.com·2h·
Discuss: Hacker News
⚡Proof Automation
IRHash: Efficient Multi-Language Compiler Caching by IR-Level Hashing
usenix.org·9h·
Discuss: Hacker News, r/programming
🏗️Compiler Archaeology
Are We SOLID Yet? An Empirical Study on Prompting LLMs to Detect Design Principle Violations
arxiv.org·1d
📏Linear Logic
Automated Reproducibility Validation via Federated Graph Neural Networks & HyperScore Ranking
dev.to·18h·
Discuss: DEV
🎯Performance Proofs
In Defense of AI Evals
sh-reya.com·51m·
Discuss: Hacker News
🔍Concolic Testing
I used an AI triage bot to close 85 GitHub issues in a weekend
bagerbach.com·3h·
Discuss: Hacker News
📏Code Metrics
🎿“Minimum Operations to Make the Integer Zero” LeetCode: 2749 [C++, JavaScript, Python]
dev.to·15h·
Discuss: DEV
📐Interval Arithmetic